منابع مشابه
Program Repair without Regret
We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in linear-temporal logic. Like in previous approaches, we aim for a repaired program that satisfies the specification and is syntactically close to the faulty program. The novelty of our approach is that it produces a program that is also semantically close to the origi...
متن کاملRouting Without Regret
There has been substantial work developing simple, efficient regret-minimizing algorithms for a wide class of repeated decision-making problems including online routing. These are adaptive strategies an individual can use that give strong guarantees on performance even in adversarially-changing environments. There has also been substantial work on analyzing properties of Nash equilibria in rout...
متن کاملBi-Level Online Control without Regret
This paper considers a bi-level discrete-time control framework with real-time constraints, consisting of several local controllers and a central controller. The objective is to bridge the gap between the online convex optimization and real-time control literature by proposing an online control algorithm with small dynamic regret, which is a natural performance criterion in nonstationary enviro...
متن کاملAbstraction without regret in data management systems
ion without regret in data management systems Christoph Koch, EPFL DATA Lab [email protected] 1. MOTIVATING ABSTRACTION The long-term impact of any research community depends on the timelessness and power of the ideas, concepts, and techniques developed by it. Research that fails to be sufficiently original and that does not create deep insight is likely not to have – and arguably does not...
متن کاملHow to live without BRCA1
C ancer cells are resourceful survivors with plenty of tricks for staying alive. Grotsky et al. uncover one of these stratagems, showing how cells lacking the tumor suppressor BRCA1 resume one form of DNA repair, sparing themselves from stagnation or death (1). BRCA1 helps to mend double-strand DNA breaks by promoting homologous recombination (2). Loss of the BRCA1 protein appears to boost abno...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Techniques in Vascular and Interventional Radiology
سال: 2018
ISSN: 1089-2516
DOI: 10.1053/j.tvir.2017.12.001